Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
نویسندگان
چکیده
منابع مشابه
Limited Omniscience and the Bolzano-weierstrass Principle
The constructive study of metric spaces requires at first an examination of each classical proposition for numerical content. In classical mathematics it is a theorem that sequences in a compact space have convergent subsequences, but this is not constructively true. For compact intervals on the real line it has long been known that this theorem is nonconstructive because it implies the Limited...
متن کاملThe Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
We classify the computational content of the Bolzano-Weierstraß Theorem and variants thereof in the Weihrauch lattice. For this purpose we first introduce the concept of a derivative or jump in this lattice and we show that it has some properties similar to the Turing jump. Using this concept we prove that the derivative of closed choice of a computable metric space is the cluster point problem...
متن کاملThe Bolzano-Poincaré Type Theorems
In 1883–1884, Henri Poincaré announced the result about the structure of the set of zeros of function f : I → R, or alternatively the existence of solutions of the equation f x 0. In the case n 1 the Poincaré Theorem is well known Bolzano Theorem. In 1940Miranda rediscovered the Poincaré Theorem. Except for few isolated results it is essentially a non-algorithmic theory. The aim of this article...
متن کاملThe Theorem of Weierstrass
The basic purpose of this article is to prove the important Weier-strass' theorem which states that a real valued continuous function f on a topological space T assumes a maximum and a minimum value on the compact subset S of T , i.e., there exist points x1, x2 of T being elements of S, such that f(x1) and f(x2) are the supremum and the innmum, respectively, of f(S), which is the image of S und...
متن کاملThe Stone-weierstrass Theorem
The really new thing about Stone’s approach to the approximation theorem was the approach via lattices of continuous functions, although Lebesgue had noticed the importance of approximating the absolute-value function earlier. There is a segment of the mathematical community formed of people who are as likely to encounter a lattice in their work as an algebra and for whom the lattice version of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2012
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-2012-05416-x